* make-dist: Simplify trap handling.
authorGlenn Morris <rgm@gnu.org>
Tue, 12 Oct 2010 07:44:12 +0000 (00:44 -0700)
committerGlenn Morris <rgm@gnu.org>
Tue, 12 Oct 2010 07:44:12 +0000 (00:44 -0700)
commitbc465d2b4a2b04867a835b9934c5d565f7bda054
tree4ef6ecbc2f2ab818a03586009c6b0a23254f47f1
parent5e2371b79d79cb8638d48df4b1a340ee5ff9712c
* make-dist: Simplify trap handling.
make-dist